241![TYPE SAFETY IN THE LINUX KERNEL A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES TYPE SAFETY IN THE LINUX KERNEL A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES](https://www.pdfsearch.io/img/53ac1537801b895613bdb44cf74ee19e.jpg) | Add to Reading ListSource URL: theory.stanford.eduLanguage: English - Date: 2011-04-27 02:12:51
|
---|
242![Improving Software Quality with Static Analysis William Pugh Professor Univ. of Maryland http://www.cs.umd.edu/~pugh Improving Software Quality with Static Analysis William Pugh Professor Univ. of Maryland http://www.cs.umd.edu/~pugh](https://www.pdfsearch.io/img/056e4f6bb11d9c1d6844a3f0ba4ec207.jpg) | Add to Reading ListSource URL: findbugs.cs.umd.eduLanguage: English - Date: 2007-05-23 20:45:50
|
---|
243![Program Analysis with Regularly Annotated Constraints by John Kodumal B.S. (Harvey Mudd College[removed]A dissertation submitted in partial satisfaction of the requirements for the degree of Program Analysis with Regularly Annotated Constraints by John Kodumal B.S. (Harvey Mudd College[removed]A dissertation submitted in partial satisfaction of the requirements for the degree of](https://www.pdfsearch.io/img/093bf2def8f76f5b6eaf689b10e32b3b.jpg) | Add to Reading ListSource URL: theory.stanford.eduLanguage: English - Date: 2006-09-15 15:19:01
|
---|
244![A MODULAR AND SYMBOLIC APPROACH TO STATIC PROGRAM ANALYSIS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES A MODULAR AND SYMBOLIC APPROACH TO STATIC PROGRAM ANALYSIS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES](https://www.pdfsearch.io/img/93900a98c1d62ce83e40495373dd30dc.jpg) | Add to Reading ListSource URL: theory.stanford.eduLanguage: English - Date: 2011-12-06 17:59:56
|
---|
245![FEAP - - A Finite Element Analysis Program Version 8.4 Installation Manual Robert L. Taylor Department of Civil and Environmental Engineering University of California at Berkeley FEAP - - A Finite Element Analysis Program Version 8.4 Installation Manual Robert L. Taylor Department of Civil and Environmental Engineering University of California at Berkeley](https://www.pdfsearch.io/img/7141ec9462f703b4d341a2df5a401326.jpg) | Add to Reading ListSource URL: www.ce.berkeley.eduLanguage: English - Date: 2013-06-30 23:01:47
|
---|
246![Case Study: Sencore Ensuring High-Reliability Video Transmission with Static Analysis Case Study: Sencore Ensuring High-Reliability Video Transmission with Static Analysis](https://www.pdfsearch.io/img/d5ecd0cab9acf1749e278f6419d0135f.jpg) | Add to Reading ListSource URL: www.kaszas.caLanguage: English - Date: 2013-02-24 15:04:56
|
---|
247![Teaching program specification and verification using JML and ESC/Java2 Erik Poll Teaching program specification and verification using JML and ESC/Java2 Erik Poll](https://www.pdfsearch.io/img/0cd645912fa068d3dabf780670034380.jpg) | Add to Reading ListSource URL: www.cs.ru.nlLanguage: English - Date: 2009-08-15 11:27:47
|
---|
248![Program Analysis and Specialization for the C Programming Language Program Analysis and Specialization for the C Programming Language](https://www.pdfsearch.io/img/d9b54848cdc4dc633d3392f72b31dd8a.jpg) | Add to Reading ListSource URL: www.cs.cornell.eduLanguage: English - Date: 2005-08-31 14:09:54
|
---|
249![Static Analyzers in Software Engineering Dr. Paul E. Black National Institute of Standards and Technology Static Analyzers in Software Engineering Dr. Paul E. Black National Institute of Standards and Technology](https://www.pdfsearch.io/img/90b4d984b4bda507976a2b98eaf0f539.jpg) | Add to Reading ListSource URL: www.crosstalkonline.orgLanguage: English - Date: 2010-10-29 18:34:27
|
---|
250![A UNIFIED APPROACH TO GLOBAL PROGRAM OPTIMIZATION A UNIFIED APPROACH TO GLOBAL PROGRAM OPTIMIZATION](https://www.pdfsearch.io/img/b2591a58813ae9bc3ae6a292a3e5fe7c.jpg) | Add to Reading ListSource URL: pdf.aminer.orgLanguage: English - Date: 2011-10-18 12:13:04
|
---|